De ision-Theoreti Cooperative Sensor Planning

Rademacher Penalization over Decision Tree Prunings

De ision Tree Prunings Matti K aari ainen and Tapio Elomaa Department of Computer S ien e, University of Helsinki, Finland fmatti.kaariainen,elomaag s.helsinki.fi Abstra t. Radema her penalization is a modern te hnique for obtaining data-dependent bounds on the generalization error of lassi ers. It would appear to be limited to relatively simple hypothesis lasses beause of omputational omple...

WWW Based Service for Automated Interpretation of Diagnostic Imgages: The AIDI-Heart Project

Automated Interpretation of Diagnosti Images: The AIDI-Heart Proje t Mattias Ohlsson, PhD1, Andreas J arund2, Lars Edenbrandt, MD, PhD2 1 Department of Theoreti al Physi s, Lund University, Sweden, mattias thep.lu.se 2 Department of Clini al Physiology, Lund University, Sweden http://ism.thep.lu.se/ Abstra t. This paper presents AIDI-Heart, a omputer-based de ision support tool for automated i...

Sizes of de ision tables and de ision trees

Soft-De ision COVQ Based on Turbo Codes

Abstra t: A robust soft-de ision hannel optimized ve tor quantization (COVQ) s heme for Turbooded AWGN hannels is proposed. The log-likelihood ratio (LLR) generated by the Turbo de oder is exploited in the COVQ design via the use of a q-bit s alar soft-de ision demodulator. The on atenation of the Turbo en oder, modulator, AWGN hannel, Turbo de oder, and q-bit soft-de ision demodulator is model...

Termination of Constraint Contextual Rewriting

Abstra t. The e e tive integration of de ision pro edures in formula simpli ation is a fundamental problem in me hani al veri ation. The main sour e of diÆ ulty o urs when the de ision pro edure is asked to solve goals ontaining symbols whi h are interpreted for the prover but uninterpreted for the de ision pro edure. To ope with the problem, Boyer & Moore proposed a te hnique, alled augmentati...